/**
 * Created with IntelliJ IDEA.
 * Description:
 * User: hp
 * Date: 2024-03-19
 * Time: 20:36
 */
sealed class Animal permits Dog,Cat{

}

sealed class Cat extends Animal permits PetCat{

}

non-sealed class PetCat extends Cat {

}

non-sealed class Dog extends Animal{

}


class SmallDog extends Dog {

}

public class Test1 {

}
